second-order predicate

[数] 二阶谓词